evtchn: print ABI specific state with the 'e' debug key
authorDavid Vrabel <david.vrabel@citrix.com>
Mon, 14 Oct 2013 08:17:14 +0000 (10:17 +0200)
committerJan Beulich <jbeulich@suse.com>
Mon, 14 Oct 2013 08:17:14 +0000 (10:17 +0200)
commit611d0ecc81bf948f6f9c592afdd6c2aebcfaaadb
treea3a741503fc9917448c46450b621f2f081d379f5
parentfbbd5009e6ed1201731b1727762070c1a988e67d
evtchn: print ABI specific state with the 'e' debug key

In the output of the 'e' debug key, print some ABI specific state in
addition to the (p)ending and (m)asked bits.

For the 2-level ABI, print the state of that event's selector
bit. e.g.,

(XEN)     port [p/m/s]
(XEN)        1 [0/0/1]: s=3 n=0 x=0 d=0 p=74
(XEN)        2 [0/0/1]: s=3 n=0 x=0 d=0 p=75

Signed-off-by: David Vrabel <david.vrabel@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Keir Fraser <keir@xen.org>
xen/common/event_2l.c
xen/common/event_channel.c
xen/include/xen/event.h